Presentation logic - PDFSEARCH.IO - Document Search Engine

Presentation logic
Results: 101

#	Item
91	THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2014-05-08 11:14:10 Mathematics Calculus of structures Deep inference Linear logic Cut-elimination theorem Proof calculus Analytic proof Sequent calculus Propositional calculus Logic Mathematical logic Proof theory
92	Minimization of Formal Knowledge in Cognitive and Machine Learning Systems: Research Presentation Andrew Gleibman [removed] Abstract. The article describes the current status of our research started from ge Add to Reading List Source URL: www.sampletalk.com Language: English - Date: 2013-09-17 05:33:20 Reasoning Predicate logic Programming paradigms Mathematical logic Cyc Ontology Inference Logic programming First-order logic Logic Science Knowledge
93	Internet Applications Design Using J2EE Design Patterns Internet Applications Design Using J2EE Design Patterns (Core J2EE Patterns[removed]Introduction. Add to Reading List Source URL: www.moisesdaniel.com Language: English - Date: 2007-06-17 11:19:12 Java platform JavaBeans Presentation logic Java enterprise platform Enterprise JavaBeans Software engineering Computing Software architecture
94	Algebra and Geometry of Rewriting∗ Yves Lafont† Institut de Mathématiques de Luminy (UMR 6206 du CNRS) Université de la Méditerranée (Aix-Marseille 2) October 9, 2006 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2006-10-09 13:16:27 Semigroup theory Formal languages Algebraic structures Model theory Mathematical logic Monoid Presentation of a monoid Rewriting Free monoid Abstract algebra Mathematics Algebra
95	ON COMPLETENESS OF WORD REVERSING PATRICK DEHORNOY Abstract. Word reversing is a combinatorial operation on words that detects pairs of equivalent words in monoids that admit a presentation of a certain form. Here we giv Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2000-05-10 06:52:32 Algebraic topology Sheaf Monoid Rewriting Function Mathematics Abstract algebra Mathematical logic
96	COMPLETE POSITIVE GROUP PRESENTATIONS PATRICK DEHORNOY Abstract. A combinatorial property of positive group presentations, called completeness, is introduced, with an effective criterion for recognizing complete presenta Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2002-04-30 03:56:35 Formal languages Semigroup theory Combinatorics on words Mathematical logic Group theory Vehicle Identification Number Monoid Rewriting Presentation of a group Abstract algebra Mathematics Algebra
97	[removed]Groups with a Complemented Presentation Patrick DEHORNOY ABSTRACT. Let G be a group given by a presentation. We study the decomposition of the elements Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2005-09-07 10:00:16 Mathematical logic Congruence lattice problem Functional analysis Projection linear algebra
98	Edward N. Zalta Fregean Senses, Modes of Presentation, Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 00:51:56 Philosophy of language Meaning Analytic philosophers Abstraction Dichotomies Sense and reference Gottlob Frege Function Musical mode Mathematics Philosophy Logic
99	Artificial Intelligence. Proceedings of the IFAC Symposium, Oxford-New-York-TorontoSydney-Frankfurt, [removed]USC-3: New Variant of a Language for Representing Knowledge and Add to Reading List Source URL: unsemcode.com Language: English - Date: 2013-08-15 14:17:59 FO Finite model theory Group action Surjective function Combinatory logic Logarithm Presentation of a group Mathematics Abstract algebra Functions and mappings
100	RECURSIVELY ENUMERABLE SETS OF POSITIVE INTEGERS AND THEIR DECISION PROBLEMS EMIL L. POST Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:41:27 Theory of computation Mathematical logic Recursively enumerable set RE Recursive set Presentation of a group Undecidable problem Enumeration Computability Theoretical computer science Mathematics Computability theory

UPDATE